Permutations of context-free, ET0L and indexed languages
نویسندگان
چکیده
For a language L, we consider its cyclic closure, and more generally the language C(L), which consists of all words obtained by partitioning words from L into k factors and permuting them. We prove that the classes of ET0L and EDT0L languages are closed under the operators C. This both sharpens and generalises Brandstädt’s result that if L is context-free then C(L) is context-sensitive and not context-free in general for k ≥ 3. We also show that the cyclic closure of an indexed language is indexed.
منابع مشابه
Applications of L systems to group theory
L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the langua...
متن کاملA new pumping lemma for indexed languages, with an application to infinite words
We prove a pumping lemma in order to characterize the infinite words determined by indexed languages. An infinite language L determines an infinite word α if every string in L is a prefix of α. If L is regular or context-free, it is known that α must be ultimately periodic. We show that if L is an indexed language, then α is a morphic word, i.e., α can be generated by iterating a morphism under...
متن کاملPermutations of context-free and indexed languages
We consider the cyclic closure of a language, and its gener-alisation to the operators C k introduced by Brandstädt. We prove that the cyclic closure of an indexed language is indexed, and that if L is a context-free language then C k (L) is indexed.
متن کاملIndexed Grammars , ET 0 L Systems and Programming Languages — A Tribute to Alexandru Mateescu — Radu Nicolescu
We revise and extend a couple of earlier incompletely published papers regarding the competence limits of formal systems in modelling the full syntax of programing languages. We show that the full syntax of mainstream programming languages (e.g. similar to Pascal or CAML) and of schema based XML documents cannot be modelled by either ET0L systems or indexed grammars. We raise a few open questio...
متن کاملSimple Semi-conditional Et0l Grammars
The present contribution introduces and studies simple semi-conditional ET0L grammars (SSC-ET0L grammars for short). It is demonstrated that SSC-ET0L grammars with permitting and forbidding conditions of length no more than one and two, respectively, generate all the family of recursively enumerable languages; if erasing productions are not allowed, these grammars generate precisely the family ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics & Theoretical Computer Science
دوره 17 شماره
صفحات -
تاریخ انتشار 2016